home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Turnbull China Bikeride
/
Turnbull China Bikeride - Disc 1.iso
/
ARGONET
/
PD
/
PROGRAMMING
/
LCLINT2.SPK
/
test
/
test_b
/
h
/
repexpose
< prev
next >
Wrap
Text File
|
1996-10-02
|
226b
|
21 lines
# include "bool.h"
typedef struct _abst *abst;
typedef struct _immut
{
char *name;
int val;
} *immut;
struct _abst
{
char *name;
int val;
/*@dependent@*/ abst parent;
immut im;
} ;
# include "lh.repexpose"